The standard axiomatization of quantum mechanics (QM) is not fully explicitabout the role of the time-parameter. Especially, the time reference within theprobability algorithm (the Born Rule, BR) is unclear. Using a plausibleprinciple P1, about the role of probability in a physical theory, and a secondprinciple P2 affording a most natural way to make BR precise, a logicalconflict with the standard expression for the completeness of QM can bederived. Rejecting P1 is implausible. Rejecting P2 leads to unphysical resultsand to a conflict with a generalization of P2, a principle P3. It is thus madeplausible that the standard expression of QM completeness must be revised. Anabsolutely explicit form of the axioms is provided, including a precise form ofthe projection postulate. An appropriate expression for QM completeness,reflecting the restrictions of the Gleason and Kochen-Specker theorems isproposed.
展开▼